Index: Doc/lib/libtime.tex
===================================================================
--- Doc/lib/libtime.tex	(revision 53449)
+++ Doc/lib/libtime.tex	(working copy)
@@ -242,6 +242,7 @@
   \lineiii{\%B}{Locale's full month name.}{}
   \lineiii{\%c}{Locale's appropriate date and time representation.}{}
   \lineiii{\%d}{Day of the month as a decimal number [01,31].}{}
+  \lineiii{\%F}{Equivalent to \%Y-\%m-\%d, the ISO 8601 date format.}{}
   \lineiii{\%H}{Hour (24-hour clock) as a decimal number [00,23].}{}
   \lineiii{\%I}{Hour (12-hour clock) as a decimal number [01,12].}{}
   \lineiii{\%j}{Day of the year as a decimal number [001,366].}{}
@@ -249,6 +250,7 @@
   \lineiii{\%M}{Minute as a decimal number [00,59].}{}
   \lineiii{\%p}{Locale's equivalent of either AM or PM.}{(1)}
   \lineiii{\%S}{Second as a decimal number [00,61].}{(2)}
+  \lineiii{\%T}{Equivalent to \%H:\%M:\%S.}{}
   \lineiii{\%U}{Week number of the year (Sunday as the first day of the
                 week) as a decimal number [00,53].  All days in a new year
                 preceding the first Sunday are considered to be in week 0.}{(3)}